Incremental Formula-Based Fix Localization

President's page: "fix the formula" remains key issue in 2007.

Hybrid Modeling of Test-and-Fix Processes in Incremental Development

Software process simulation modeling has become an increasingly active research area for managing and improving software development processes since its introduction in the last two decades. Hybrid process simulation models have attracted interest as a possibility to avoid the limitations of applying single modeling method, and more realistically capture complex real-world software processes. T...

Connectivity-based Sensor Network Localization with Incremental Delaunay Refinement

The location of sensor nodes is an indispensable component for both network operation and sensor data integrity. In this paper we study the network localization problem for a largescale sensor network with a complex shape. We do not assume any anchor nodes with known locations and use only network connectivity information to recover the relative positioning of all the nodes. Thus we require no ...

Equivariant Cohomology and Localization Formula in Supergeometry

LetG be a compact Lie group. LetM be a smoothG-manifold and V → M be an oriented G-equivariant vector bundle. One defines the spaces of equivariant forms with generalized coefficients on V and M . An equivariant Thom form θ on V is a compactly supported closed equivariant form such that its integral along the fibres is the constant function 1 on M . Such a Thom form was constructed by Mathai an...

On the localization formula in equivariant cohomology

We give a generalization of the Atiyah–Bott–Berline–Vergne localization theorem for the equivariant cohomology of a torus action. We replace the manifold having a torus action by an equivariant map of manifolds having a compact connected Lie group action. This provides a systematic method for calculating the Gysin homomorphism in ordinary cohomology of an equivariant map. As an example, we reco...